/**
 * \file debug.h
 * \author Davide Gessa
 * \date 10-12-09
 */

#ifndef DEBUG_H
#define DEBUG_H

#include <types.h>

#define BOCHS_IODEBUG_PORT	0x8A00
#define DEBUGP(x) debug_puts(x)

void debug_putchar(char);
void debug_puts(char *);
void debug_init();
void debug_ist_trace(uint8_t);
void debug_reg_trace(uint8_t);

#endif
